The space of class $\alpha$ Baire functions

Ranks on the Baire Class Ξ Functions

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class 1 functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class ξ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness ...

Functions Whose Composition with Baire Class One Functions Are Baire Class One

We study the functions whose composition with Baire class one functions are Baire class one functions. We first prove some characterizations of such functions, then investigate a subclass of such functions which are defined in a natural way.

Formally continuous functions on Baire space

A function from Baire space N to the natural numbers N is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a fu...

Array Convergence of Functions of the Rst Baire-class

We show that every array (x(i; j) : 1 i < j < 1) of elements in a point-wise compact subset of the Baire-1 functions on a Polish space, whose iterated pointwise limit lim i lim j x(i; j) exists, is converging Ramsey-uniformly. An array (x(i; j) i<j) in a Hausdorr space T is said to converge Ramsey-uniformly to some x in T , if every subsequence of the positive integers has a further subsequence...

2 Sequences of Baire Class 1 Functions 3